From 90d9bfe086dc047d56fdf12335243b81b24363aa Mon Sep 17 00:00:00 2001 From: =?utf8?q?Javier=20Jard=C3=B3n?= Date: Mon, 4 Oct 2010 18:48:47 +0200 Subject: [PATCH] gtkmenu: Really fix menu code Previous patch f0039aa2a4367df95bda1b6cf3d4a735cafb4eb2 is not correct as it try to fix a bug introduced in commit 3a10216dd01c8d10df235b88c8942b2fda15689b --- gtk/gtkmenu.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gtk/gtkmenu.c b/gtk/gtkmenu.c index dbbf311753..068f2a338c 100644 --- a/gtk/gtkmenu.c +++ b/gtk/gtkmenu.c @@ -5474,7 +5474,7 @@ get_menu_height (GtkMenu *menu) gtk_widget_get_allocation (widget, &allocation); height = allocation.height; - height -= gtk_container_get_border_width (GTK_CONTAINER (widget)) + gtk_widget_get_style (widget)->ythickness * 2; + height -= (gtk_container_get_border_width (GTK_CONTAINER (widget)) + gtk_widget_get_style (widget)->ythickness) * 2; if (!menu->tearoff_active) { -- 2.30.2